1. $A$ : Type
\\[0ex]2. $\neg$([] = [])
\\[0ex]$\vdash$  0 $\geq$ 1